COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(Professor Fernando J. Corbato)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL  CENTER
Sincerely,
.SKIP 6
Doug  Lenat
.END APART ⊃

.portion main
.page←1
.LTR(Professor Fernando J. Corbato)
Associate Head, Dept. of Computer Science and Electrical Engineering
Room 514
545  Technology Square
Massachusetts Institute of Technology 
Cambridge, Massachusetts 02139
.FAC

Dear Professor Corbato,

I am  a fourth-year  grad student  in Stanford's  CS department,  and
expect to receive my  Ph.D. by next Fall.  My  dissertation is in the
field  of  Artificial Intelligence.   I  have  studied how  one might
explain  --  and  automate  --  the  formation  of  new  mathematical
theories. 
The most tangible result of this research is
a LISP program  which  can  develop  new
mathematical  concepts,   which has had some success in  theorem
%2proposing%* rather than  theorem %2proving%*.  A  short description
of the project is enclosed.

My  PhD committee  consists of  Ed  Feigenbaum, Cordell  Green, Bruce
Buchanan, and  Don Knuth.  They have  suggested that  I contact  MIT,
since  I am  interested in  a faculty  position for  next year.  I've
already  written to  Patrick  WInston and  Marvin Minsky.  Letters of
reference have been  sent to them by  Feigenbaum and Knuth; no  doubt
they've been entered in some  global "folder" about  me, where you
may inspect  them.    In addition,  I'm  sending  you a  copy  of  my
%2curriculum vitae%* and a couple of my relevant published papers.

Pat has tentatively set  up a colloquium for me for  the afternoon of
Wednesday, Feb.  18.  I look forward to  that opportunity to meet the
members of  your department  and  to exchange  some ideas  about  our
mutual research interests.  (Yes,  I realize that there will probably
not  be any new openings  for junior faculty  in your department next
Fall).  I welcome the opportunity to discuss %2that%* matter, as well
as my thesis, with you.

.DBL